141. New Waves in Philosophical Logic
پدیدآورنده : \ edited by Greg Restall and Gillian Russell.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,Philosophy.,منطق,فلسفه
رده :
BC
50
.
N4
2012
E-Book
,
142. On Aristotle's "Prior analytics 1.14-22"
پدیدآورنده : / Alexander of Aphrodisias
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Aristotle.- Prior analytics.- 1.14-22,Logic- Early works to 1800,Syllogism- Early works to 1800,ارسطو، ۲۲۳ - ۴۸۳ ق. م,منطق - متون قدیمی تا قرن ۴۱
رده :
B440
.
A9513
143. On Aristotle's "Prior analytics 1.23-31"
پدیدآورنده : / Alexander of Aphrodisias
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Aristotle.- Prior analytics.- 1.23-31,Logic- Early works to 1800,Syllogism- Early works to 1800,.ارسطو، ۲۲۳ - ۴۸۳ ق. م,منطق- متون قدیمی تا قرن ۴۱
رده :
B440
.
A95
144. On the Syllogism
پدیدآورنده : / by Augustus De Morgan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and Mathematical,Syllogism,منطق ریاضی,قیاس
رده :
BC135
.
D4O5
1966
145. Other Logics
پدیدآورنده : \ edited by Admir Skodo.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- History.,منطق -- تاریخ
رده :
BC15
.
O84
2014
146. Paradoxes
پدیدآورنده : / Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
147. Penser la Logique
پدیدآورنده : \ Gilbert Hottois
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Language and languages -- Philosophy,منطق,زبان -- فلسفه
رده :
BC72
.
H67
P4
1989
148. Performance Measurement with Fuzzy Data Envelopment Analysis
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Data envelopment analysis,Fuzzy logic,Computational Intelligence,تحلیل پوششی داده‌ها,منطق فازی,هوش محاسباتی
رده :
E-Book
,
149. Perspectives in Computational Complexity
پدیدآورنده : \ Manindra Agrawal, Vikraman Arvind Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
150. Pesky essays on the logic of philosophy
پدیدآورنده : \ Kenneth G. Lucey.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,Philosophy -- Logic.,منطق,فلسفه -- منطق
رده :
BC
71
.
L8P4
2015
E-Book
,
151. Philosophical Logic
پدیدآورنده : / George Englebretsen and Charles Sayward
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic - Textbooks,منطق - کتابهای درسی
رده :
BC71
.
E55
2011
152. Popper, Karl
پدیدآورنده :
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,عقل‌گرایی,علوم اجتماعی, -- فلسفه,Logic,Rationalism,Social sciences - Philosophy
153. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,
154. Proof and Disproof in Formal Logic
پدیدآورنده : \ Richard Bornat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Evidence,Logic, Modern,منطق جدید
رده :
E-Book
,
155. Quantifiers, Quantifiers, and Quantifiers
پدیدآورنده : \ Alessandro Torza Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
156. Rationality and Decision Making
پدیدآورنده : \ edited by Marek Hetmanski
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Argumentation (Logic),Practical reason,Decision making,ح‍ج‍ت (منطق),عقل عملی,تصمیم‌گیری,a03,a05,a07,a03,a05,a07
رده :
BC177
.
R329
2018
157. Reachability Problems.
پدیدآورنده : \ Mikołaj Bojańczyk , Sławomir Lasota, Igor Potapov (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a04,a03,a04
رده :
QA
76
.
R4
2015
E-Book
,
158. Reversible Computation
پدیدآورنده : \ Jean Krivine , Jean-Bernard Stefani (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Quantum computing,Reversible computing -- Congresses.,Computer logic -- Congresses.,منطق کامپیوتری -- کنگره ها
رده :
QA
76
.
889
.
R4
2015
E-Book
,
159. Routledge Philosophy Guidebook to Anscombe's Intention
پدیدآورنده : \ Rachael Wiseman.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Anscombe, Gertrude Elizabeth Margaret, Intention.,انسکم، گرترود الیزابت مارگارت، ۱۹۱۹ - ۲۰۰۱م.,Intention (Logic),نیت-- منطق
رده :
BC199
.
I5
A53W4
2016
160. Shifting the Paradigm
پدیدآورنده : \edited by Paolo C. Biondi and Louis F. Groarke.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Induction (Logic),Reasoning.,استقرا (منطق) ,استدلال
رده :
BC91
.
S47S5
2014
